projects / gringo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1aaec54) | patch
Add gringo.1, clingo.1, and iclingo.1 manpages.
authorThomas Krennwallner <tkren@kr.tuwien.ac.at>
Mon, 18 Aug 2014 15:10:34 +0000 (16:10 +0100)
committerThomas Krennwallner <tkren@kr.tuwien.ac.at>
Mon, 18 Aug 2014 15:10:34 +0000 (16:10 +0100)
commitfbd463be5a87551d322fd650fc63395705c97504
treee34a9d4beaa740663c3cd3c28922851f7a967c2etree | snapshot
parent1aaec54519963bc2aba0432ae08401abb808adb1commit | diff
Add gringo.1, clingo.1, and iclingo.1 manpages.

===================================================================

Gbp-Pq: Name gringo-manpages.patch
clingo.1 [new file with mode: 0644] blob
gringo.1 [new file with mode: 0644] blob
iclingo.1 [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.